Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
601	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
602	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
603	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
604	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
605	cKanren miniKanren with Constraints Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd, Daniel P. Friedman {calvis, jewillco, kylcarte, webyrd, dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Logic programming Formal methods Computer programming Lambda calculus Constraint logic programming Conditional Computing Software engineering
606	How to Create XSLT Functions that Manipulate Functions (a.k.a. Higher-Order Functions) Roger L. Costello SeptemberIntroduction Add to Reading List Source URL: www.xfront.com Language: English - Date: 2010-09-26 11:23:39 Higher-order functions Subroutines Functional languages Functional programming Lambda calculus XSLT Function C Map Computing Software engineering Computer programming
607	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory
608	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
609	A Type System for Dynamic Layer Composition Atsushi Igarashi Robert Hirschfeld Hidehiko Masuhara Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:29 Vehicle Identification Number Weight Applied mathematics Mathematics Computer science Computability theory Lambda calculus Theoretical computer science
610	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming

UPDATE